Safe Cross-Language Inheritance Kathryn E. Gray Computer Laboratory, University of Cambridge, UK Abstract. Inheritance is a standard means for reuse and for interfacing

Source URL: www.cl.cam.ac.uk

Institut für Technische Informatik und Kommunikationsnetze Computer Engineering and Networks Laboratory Prof. L. Thiele

Source URL: www.tik.ee.ethz.ch

• Planning
• Real-time computing
• Operations research
• Scheduling
• Criticality
• Real-time operating system
• Multi-core processor
• Critical
• Mixed criticality

Incremental Text Structuring with Online Hierarchical Ranking Erdong Chen, Benjamin Snyder and Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {edc,bsnyder,r

Source URL: pages.cs.wisc.edu

Brief Announcement: Information Dissemination on Multiple Channels Stephan Holzer1 , Yvonne-Anne Pignolet2 , Jasmin Smula1 , Roger Wattenhofer1 1 Computer Eng. and Networks Laboratory (TIK), ETH Zurich, Switzerland

Source URL: www.tik.ee.ethz.ch

• Graph theory
• Mathematics
• Distributed data storage
• Computational complexity theory
• Selection algorithm
• Randomized algorithm
• Network theory
• Networks
• Koorde
• Kademlia

Machine Reading Using Markov Logic Networks for Collective Probabilistic Inference Shalini Ghosh, Natarajan Shankar, Sam Owre Computer Sciences Laboratory, SRI International Abstract. DARPA’s Machine Reading project i

Source URL: www.csl.sri.com

ITL BULLETIN FOR APRIL 2016 NEW NIST SECURITY STANDARD CAN PROTECT CREDIT CARDS, HEALTH INFORMATION Morris Dworkin, Larry Feldman, 1 and Greg Witte,1 Editors Computer Security Division Information Technology Laboratory N

Source URL: csrc.nist.gov

• Cryptography
• Data Encryption Standard
• Format-preserving encryption
• Block cipher modes of operation
• Block cipher
• Triple DES
• Feistel cipher
• Advanced Encryption Standard
• Cipher
• Symmetric-key algorithm
• CCM mode

Impressions from the 2006 USENIX Annual Technical Conference Muli Ben-Yehuda

Source URL: www.mulix.org

• Linux Foundation
• University of Cambridge Computer Laboratory
• Xen
• IBM
• HRL

Protean Code: Achieving Near-free Online Code Transformations for Warehouse Scale Computers Michael A. Laurenzano, Yunqi Zhang, Lingjia Tang, Jason Mars Advanced Computer Architecture Laboratory, University of Michigan -

Source URL: web.eecs.umich.edu

QUANTUM CRYPTOGRAPHY WITH FEMTOSECOND PARAMETRIC DOWN CONVERSION A. V. Sergienko, M. Atature, B. M. Jost, J. Perina Jr., B. E. A. Saleh, and M. C. Teich Quantum Imaging Laboratory Department of Electrical and Computer En

Source URL: people.bu.edu

Optimistic Shared Memory Dependence Tracing Yanyan Jiang∗ , Du Li† , Chang Xu∗‡ , Xiaoxing Ma∗‡ , Jian Lu∗ ∗ State Key Laboratory for Novel Software Technology, Nanjing University Department of Computer S

Source URL: cs.nju.edu.cn